algebra of logic
英 [ˈældʒɪbrə ɒv ˈlɒdʒɪk]
美 [ˈældʒɪbrə əv ˈlɑːdʒɪk]
网络 逻辑代数; 代數邏辑
双语例句
- This article applies logic algebra to hydraulic pressure circuit and analyses the synthesis and simplicity of hydraulic pressure logic circuit.
将逻辑代数运用到液压回路中，分析了液压逻辑回路的综合和简化。 - By taking finite lattice implication algebra as a truth-value field, a syntactic system of lattice-valued propositional logic based on finite lattice implication algebra was proposed.
以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统； - In this paper, we introduce temporal logic operator into Construct Categorical Algebra for specification and verification of cryptographic protocol, we modeling both the protocol and the intruder, and deduce its security property with the use of temporal logic.
本文在构造类别代数中引入时序算子，对密码协议以及协议的入侵者进行建模，在此基础上利用时序逻辑推导协议应该满足的安全属性。 - Lattice implication algebra is a kind of logic algebra, and it is the basis for researching on lattice-valued logic theory;
格蕴涵代数是一种逻辑代数，它是研究格值逻辑理论的一种基础。 - An Induced Algebra on a Kind of Algebras and Generalized Kleene-dienes Ternary Logic System
一类代数上的诱导代数及广义Kleene-Dienes三值系统 - The lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning.
格蕴涵代数为格值逻辑与不确定性推理的研究提供了一种理论基础。 - Today, fuzzy reasoning and fuzzy logic are very attractive research branches of fuzzy system, while logical algebra is an important research topic of fuzzy logic.
模糊推理与模糊逻辑是目前模糊系统理论中十分活跃的研究分支，而逻辑代数系统又是模糊逻辑的一个重要的研究方向。 - Auto-Transformation of the Process Algebra Specification of Security Protocols into Logic Programs
安全协议的进程代数规约到逻辑程序的自动转换 - This paper shows the definition and basic property of product space conditional event algebra, brings forward the arithmetic of logic inference based on product conditional event algebra and the application of this arithmetic.
论文介绍了乘积空间条件事件代数的定义和基本性质，提出了基于乘积空间条件事件代数的贝叶斯网的逻辑推理的算法以及应用。 - In this paper, the logical algebra and the properties of generalized tautology are discussed in Limited Interval-Valued Fuzzy Propositional Logic;
本文首先从有限区间值模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质； - Each FLn has its own algebra ( or class of algebras) of truth degrees with the domain [ 0,1], called the standard algebra ( s) of the logic.
与FLn相应的[0，1]上的真值代数称为标准逻辑代数。 - This research, basing on the Pan-Boolean Algebra, introduces the following two works: simulation work of the logic controller and design operators of two four-digit numbers in ternary system.
本课题的研究是基于泛布尔代数上对逻辑控制器进行仿真研究和对四位三进制运算器的设计。 - In nearly half a century, the scholars of various countries have already made the rich achievement to the studying of MV-algebra and a lot of algebra systems with logic background.
近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果（[1]，[3-14]）。 - The Stability and Algebra Structure of Maximum Logic Functions with Even Number of Variables
偶数元择多逻辑函数的稳定性和代数结构 - Because of this corresponding relationship, I try to transform some concepts and properties which in model theory and algebra into the extension of basic proposition logic, containing reduction, embedding, isomorphism.
由于存在这样的双向对应，因而本文尝试将模型论与代数上的一些概念与性质对应到基本命题逻辑的模态扩张上，包括归约、嵌入、同构等概念均可以与该模态逻辑的模型结合起来。 - It should be hopeful that these investigations can provide a kind of new train of thought investigations for further researching into the properties of lattice implication algebra and the theory of lattice-valued logic based on lattice implication algebras.
这些讨论有望为进一步研究格蕴涵代数的性质和基于格蕴涵代数的格值逻辑提供了一种新的思路。